1

Local Reasoning About Tree Update

Year:
2006
Language:
english
File:
PDF, 379 KB
english, 2006
2

Local Reasoning about Data Update

Year:
2007
Language:
english
File:
PDF, 664 KB
english, 2007
6

Context logic as modal logic

Year:
2007
Language:
english
File:
PDF, 680 KB
english, 2007